Section: Partnerships and Cooperations
National Initiatives
ANR
-
Projet ANR MALTHY (Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides), responsable T. Dang. Partenaires : Verimag, CEA LIST, Inria Rennes, Inria Saclay, VISEO/Object Direct.
-
Projet ANR DEMOCRITE ("DEmonstrateur d’un MOteur de Couverture des Risques sur un TErritoire), responsable Emmanuel Lapébie (CEA). Partenaires : CEA-GRAMAT, BSPP, Inria Saclay (Maxplus), Institut PPRIME - UPR3346 (CNRS, Univ. Poitiers, ISAE-ENSMA), IPSIS, SYSTEL, ARMINES-E.M. Alès-ISR, CERDACC (Univ. de Haute-Alsace).
-
Projet ANR JCJC CAPPS (“Combinatorial Analysis of Polytopes and Polyhedral Subdivisions”), responsable Arnau Padrol (IMJ-PRG, Sorbonne Université). Partenaires : IMJ-PRG (Sorbonne Université), Inria Saclay (Tropical), LIGM (Université Paris-Est Marne-la-Vallée), LIF (Université Aix-Marseille), CERMICS (École Nationale des Ponts et Chaussées), LIX (École Polytechnique).